Up	bool 1, bool 1
Wellformedness Lemmas	bfalse wf, bfalse wf
Definitions	inr x ,
FDL editor aliases	bfalse